formalisierte Sprache

formalisierte Sprache
I
formalisierte Sprache,
 
eine Sprache, bestehend aus einer Menge von Grundzeichen (Alphabet), Formregeln (Grammatik) zum Aufbau von Ausdrücken aus den Grundzeichen, Ableitungsregeln für den Übergang von Ausdrücken zu anderen Ausdrücken und Interpretationsregeln, die den Ausdrücken Bedeutungen verleihen und den Wahrheitsbegriff festlegen. Programmiersprachen können als formalisierte Sprachen angesehen werden. Über die Kombination der syntaktischen und semantischen Regeln (Syntax, Semantik) sind sie vollständig definiert.
II
formalisierte Sprache,
 
ein semantisch interpretierter Kalkül. Eine formalisierte Sprache besteht aus einer Menge von Grundzeichen (Alphabet), Formregeln zum Aufbau von Ausdrücken aus den Grundzeichen, Ableitungsregeln für den Übergang von Ausdrücken zu anderen Ausdrücken und Interpretationsregeln, die den Ausdrücken Bedeutungen verleihen und den Wahrheitsbegriff festlegen.

Universal-Lexikon. 2012.

Игры ⚽ Поможем решить контрольную работу

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Formalisierte Theorie — Die formalisierte Theorie bezeichnet in der klassischen Mathematik ein Verfahren, wobei die Sätze einer Theorie durch logische Schlüsse aus den Axiomen abgeleitet werden. Zur Formalisierung der Axiome und der Beweise benutzt man dabei die… …   Deutsch Wikipedia

  • Sprache — Sprechvermögen; Ausdrucksform * * * Spra|che [ ʃpra:xə], die; , n: 1. <ohne Plural> das Sprechen; die Fähigkeit zu sprechen: durch den Schock verlor er die Sprache; die Sprache wiederfinden. 2. System von Zeichen und Lauten, das von… …   Universal-Lexikon

  • natürliche Sprache — I natürliche Sprache,   Sprache. II natürliche Sprache,   historisch gewachsene Sprache im Unterschied zu den künstlichen Sprachsystemen (z. B. Welthilfssprachen, formalisierte Sprachen, Programmiersprachen). Anders als diese weist sie u. a.… …   Universal-Lexikon

  • Metasprache — Me|ta|spra|che 〈f. 19; unz.; Sprachw.〉 Sprache, in der Aussagen über eine Sprache gemacht werden [zu Meta... + Sprache] * * * Me|ta|spra|che [auch: mɛ…], die; , n [geb. nach ↑ Metaphysik] (Sprachwiss., Math., Kybernetik): Sprache od. Symbolsystem …   Universal-Lexikon

  • -Innen — Binnen I auf einem Linzer Verkehrszeichen Als Binnen I (auch Majuskel I) bezeichnet man den Buchstaben I, wenn er innerhalb eines Wortes als Großbuchstabe zwischen Kleinbuchstaben vorkommt (Binnenmajuskel). Das Binnen I soll bei der Bezeichnungen …   Deutsch Wikipedia

  • BinnenI — Binnen I auf einem Linzer Verkehrszeichen Als Binnen I (auch Majuskel I) bezeichnet man den Buchstaben I, wenn er innerhalb eines Wortes als Großbuchstabe zwischen Kleinbuchstaben vorkommt (Binnenmajuskel). Das Binnen I soll bei der Bezeichnungen …   Deutsch Wikipedia

  • Großes weibliches I — Binnen I auf einem Linzer Verkehrszeichen Als Binnen I (auch Majuskel I) bezeichnet man den Buchstaben I, wenn er innerhalb eines Wortes als Großbuchstabe zwischen Kleinbuchstaben vorkommt (Binnenmajuskel). Das Binnen I soll bei der Bezeichnungen …   Deutsch Wikipedia

  • Majuskel-I — Binnen I auf einem Linzer Verkehrszeichen Als Binnen I (auch Majuskel I) bezeichnet man den Buchstaben I, wenn er innerhalb eines Wortes als Großbuchstabe zwischen Kleinbuchstaben vorkommt (Binnenmajuskel). Das Binnen I soll bei der Bezeichnungen …   Deutsch Wikipedia

  • Weibliches i — Binnen I auf einem Linzer Verkehrszeichen Als Binnen I (auch Majuskel I) bezeichnet man den Buchstaben I, wenn er innerhalb eines Wortes als Großbuchstabe zwischen Kleinbuchstaben vorkommt (Binnenmajuskel). Das Binnen I soll bei der Bezeichnungen …   Deutsch Wikipedia

  • Objektsprache — Ob|jẹkt|spra|che, die (Sprachwiss.): Sprache als Gegenstand der Betrachtung, die mit der Metasprache beschrieben wird. * * * Objẹktsprache,   Sprachwissenschaft: 1) natürliche Sprache, mit der auf einen außersprachlichen Sachverhalt Bezug… …   Universal-Lexikon

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”